invariant subgroup

不变子群;正规子群